void pause_state();
